#include <stdio.h>

int main()
{
    int n;
	scanf("%d", &n);

    int s = 1;
	do
    {
        s = s*n;
		n--;
    }while(n);//4 3 2 1 
	printf("s = %d\n", s);

    
}